The reverse mathematics of non-decreasing subsequences

نویسنده

  • Ludovic Patey
چکیده

Every function over the natural numbers has an infinite subdomain on which the function is non-decreasing. Motivated by a question of Dzhafarov and Schweber, we study the reverse mathematics of variants of this statement. It turns out that this statement restricted to computably bounded functions is computationally weak and does not imply the existence of the halting set. On the other hand, we prove that it is not a consequence of Ramsey’s theorem for pairs. This statement can therefore be seen as an arguably natural principle between the arithmetic comprehension axiom and stable Ramsey’s theorem for pairs.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Enumerating rc-Invariant Permutations with No Long Decreasing Subsequences∗

We use the Robinson-Schensted-Knuth correspondence and Schützenberger’s evacuation of standard tableaux to enumerate permutations and involutions which are invariant under the reverse-complement map and which have no decreasing subsequences of length k. These enumerations are in terms of numbers of permutations with no decreasing subsequences of length approximately k2 ; we use known results co...

متن کامل

Increasing and Decreasing Subsequences and Their Variants

We survey the theory of increasing and decreasing subsequences of permutations. Enumeration problems in this area are closely related to the RSK algorithm. The asymptotic behavior of the expected value of the length is(w) of the longest increasing subsequence of a permutation w of 1, 2, . . . , n was obtained by Vershik-Kerov and (almost) by Logan-Shepp. The entire limiting distribution of is(w...

متن کامل

Increasing Subsequences in Nonuniform Random Permutations

Connections between longest increasing subsequences in random permutations and eigenvalues of random matrices with complex entries have been intensely studied. This note applies properties of random elements of the finite general linear group to obtain results about the longest increasing and decreasing subsequences in non-uniform random permutations.

متن کامل

MHD Jeffrey NanoFluids Flow Over a Stretching Sheet Through a Porous Medium in Presence of Nonlinear Thermal Radiation and Heat Generation/Absorption

In this article, a numerical investigation of magnetohydrodynamic non-Newtonian nanofluid flow on a stretching sheet through an isotropic porous medium. The effects of both non-linear thermal radiation and heat generation/absorption were studied on distributions of velocity, temperature and concentration. On the other side, the governing partial differential equations have been transformed by u...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Arch. Math. Log.

دوره 56  شماره 

صفحات  -

تاریخ انتشار 2017